<?php
    session_start();

    if($_SESSION['key']!='check'){
        header("Location: https://staff.washington.edu/jamarq/index.html");
        exit;
    }
?>
<html>
<body>
<?php
        
    echo 'Login successful';

?>
</body>
</html>